let ((_ : exn) & (Failure _)) = exn ()